Search Results
Paul Andre MELLIES - Programming languages and ropes diagrams Part 1 | NICE 8th Jan 2018
Programming languages in string diagrams — Paul-André Melliès 061801 1
Programming languages in string diagrams — Paul-André Melliès 061803
Paul-André Melliès: Programming languages and string diagrams Part 2
Programming languages in string diagrams — Paul-André Melliès 061704
Programming languages in string diagrams — Paul-André Melliès 061702
Programming languages in string diagrams — Paul-André Melliès 061603
Paul-Andre Mellies: "Dialogues categories and Frobenius
Programming languages in string diagrams — Paul-André Melliès 061801 2
Paul-Andre Mellies: "String diagrams, a topological account of proofs and programs"
Paul André Melliès - Dialogue Games and Logical Proofs in String Diagrams
"A gentle introduction to template games" by Dr. Paul-André Melliès (CNRS, University of Paris)
